Jose Meseguer：在 Z-Library 上搜索

募捐 9月15日2024 – 10月1日2024 关于筹款

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

书籍 (43)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

Spacecraft thermal control

Spacecraft thermal control

Woodhead Publishing

Jose Meseguer, Isabel Perez-Grande, Angel Sanz-Andres

年:

2012

语言:

english

文件:

PDF, 4.33 MB

0 / 0

english, 2012

2

Set Theory in Computer Science - A Gentle Introduction to Mathematical Modeling I

Set Theory in Computer Science - A Gentle Introduction to Mathematical Modeling I

José Meseguer.

语言:

english

文件:

PDF, 2.32 MB

0 / 0

english

3

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

年:

2008

语言:

english

文件:

PDF, 10.15 MB

0 / 0

english, 2008

4

Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Springer-Verlag Berlin Heidelberg

Solomon Feferman (auth.), Gul Agha, Olivier Danvy, José Meseguer (eds.)

年:

2011

语言:

english

文件:

PDF, 6.75 MB

0 / 0

english, 2011

5

Dynamic Worlds: From the Frame Problem to Knowledge Management

Dynamic Worlds: From the Frame Problem to Knowledge Management

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.)

年:

1999

语言:

english

文件:

PDF, 9.86 MB

0 / 4.0

english, 1999

6

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

Springer-Verlag Berlin Heidelberg

Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)

年:

2014

语言:

english

文件:

PDF, 12.54 MB

0 / 0

english, 2014

7

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer, (eds.)

年:

2006

语言:

english

文件:

PDF, 5.22 MB

0 / 0

english, 2006

8

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

年:

2008

语言:

english

文件:

PDF, 24.22 MB

0 / 0

english, 2008

9

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.)

年:

2008

语言:

english

文件:

PDF, 8.73 MB

0 / 0

english, 2008

10

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

年:

2004

语言:

english

文件:

PDF, 12.00 MB

0 / 0

english, 2004

11

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

年:

2009

语言:

english

文件:

PDF, 3.31 MB

0 / 0

english, 2009

12

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

年:

2004

语言:

english

文件:

PDF, 4.40 MB

0 / 0

english, 2004

13

Dynamic Worlds: From the Frame Problem to Knowledge Management

Dynamic Worlds: From the Frame Problem to Knowledge Management

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.)

年:

1999

语言:

english

文件:

DJVU, 2.64 MB

0 / 0

english, 1999

14

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)

年:

2011

语言:

english

文件:

PDF, 4.28 MB

0 / 0

english, 2011

15

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)

José Meseguer, Grigore Rosu

年:

2008

语言:

english

文件:

PDF, 9.87 MB

0 / 0

english, 2008

16

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)

年:

2006

语言:

english

文件:

PDF, 6.57 MB

0 / 0

english, 2006

17

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer, (eds.)

年:

2006

语言:

english

文件:

PDF, 8.02 MB

0 / 0

english, 2006

18

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

年:

2004

语言:

english

文件:

DJVU, 9.11 MB

0 / 0

english, 2004

19

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)

年:

2011

语言:

english

文件:

PDF, 4.58 MB

0 / 0

english, 2011

20

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Farhad Arbab, Peter Csaba Ölveczky (eds.)

年:

2012

语言:

english

文件:

PDF, 9.07 MB

0 / 0

english, 2012

21

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Leo Bachmair (eds.)

年:

2000

语言:

english

文件:

PDF, 2.25 MB

0 / 0

english, 2000

22

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

年:

2008

语言:

english

文件:

PDF, 23.45 MB

0 / 4.0

english, 2008

23

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott [Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott]

年:

2008

语言:

spanish

文件:

EPUB, 1.16 MB

0 / 0

spanish, 2008

24

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott [Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott]

年:

2008

文件:

LIT , 3.23 MB

0 / 0

2008

25

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott

年:

2008

语言:

spanish

文件:

AZW3 , 3.87 MB

0 / 0

spanish, 2008

26

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott

年:

2008

语言:

spanish

文件:

FB2 , 5.53 MB

0 / 0

spanish, 2008

27

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott

年:

2008

语言:

spanish

文件:

MOBI , 3.31 MB

0 / 0

spanish, 2008

28

All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

Springer-Verlag Berlin Heidelberg

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.)

年:

2007

语言:

english

文件:

PDF, 5.51 MB

0 / 0

english, 2007

29

Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Springer International Publishing

Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic, (eds.)

年:

2019

语言:

english

文件:

PDF, 11.23 MB

0 / 0

english, 2019

30

Software Engineering with OBJ: Algebraic Specification in Action

Software Engineering with OBJ: Algebraic Specification in Action

Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)

年:

2000

语言:

english

文件:

PDF, 10.29 MB

0 / 0

english, 2000

31

Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe

年:

2021

语言:

english

文件:

PDF, 15.97 MB

0 / 0

english, 2021

32

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Springer Netherlands

Narciso Martí-Oliet, José Meseguer (auth.), D. M. Gabbay, F. Guenthner (eds.)

年:

2002

语言:

english

文件:

PDF, 10.14 MB

0 / 0

english, 2002

33

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

年:

2005

语言:

english

文件:

PDF, 5.67 MB

0 / 0

english, 2005

34

Software engineering with OBJ: algebraic specification in action

Software engineering with OBJ: algebraic specification in action

Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)

年:

2000

语言:

english

文件:

DJVU, 3.20 MB

0 / 0

english, 2000

35

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky (auth.), Corina S. Păsăreanu, Gwen Salaün (eds.)

年:

2013

语言:

english

文件:

PDF, 3.86 MB

0 / 0

english, 2013

36

Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic

年:

2019

语言:

english

文件:

EPUB, 17.74 MB

0 / 0

english, 2019

37

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

Springer-Verlag Berlin Heidelberg

Joseph A. Goguen, José Meseguer (auth.), Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari (eds.)

年:

1987

语言:

english

文件:

DJVU, 3.99 MB

0 / 0

english, 1987

38

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)

年:

2002

语言:

english

文件:

PDF, 5.85 MB

0 / 0

english, 2002

39

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

年:

2009

语言:

english

文件:

PDF, 5.45 MB

0 / 0

english, 2009

40

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

ECOOP 2002 — Object-Oriented Programming: 16th European Conference Málaga, Spain, June 10–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Carolyn Talcott (auth.), Boris Magnusson (eds.)

年:

2002

语言:

english

文件:

PDF, 4.34 MB

0 / 0

english, 2002

41

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

年:

2005

语言:

english

文件:

PDF, 5.89 MB

0 / 0

english, 2005

42

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Leo Bachmair (eds.)

年:

2000

语言:

english

文件:

PDF, 3.52 MB

0 / 0

english, 2000

43

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

年:

2009

语言:

english

文件:

PDF, 3.41 MB

0 / 0

english, 2009